The MathScheme Library: Some Preliminary Experiments
نویسندگان
چکیده
We present some of the experiments we have performed to best test our design for a library for MathScheme, the mechanized mathematics software system we are building. We wish for our library design to use and reflect, as much as possible, the mathematical structure present in the objects which populate the library.
منابع مشابه
ANTIBODY TO MITOCHONDRIAL COMPLEX-I IN SOME PATIENTS WITH MULTIPLE SCLEROSIS
When pooled immunoglobulin G (IgG) from patients with multiple sclerosis (MS) was used to probe a human fetal spinal cord λgt 11 cDNA library, the IgG was found to bind to a predicted epitope of human mitochondrial ND4 sequence. To investigate the involvement of the ND4 as an autoantigen in MS, we determined the presence of specific antibody in the serum of MS patients and serum samples of...
متن کاملPitman-Closeness of Preliminary Test and Some Classical Estimators Based on Records from Two-Parameter Exponential Distribution
In this paper, we study the performance of estimators of parametersof two-parameter exponential distribution based on upper records. The generalized likelihood ratio (GLR) test was used to generate preliminary test estimator (PTE) for both parameters. We have compared the proposed estimator with maximum likelihood (ML) and unbiased estimators (UE) under mean-squared error (MSE) and Pitman me...
متن کاملPreliminary Analysis of Multiple Kernel Learning: Flat Maxima, Diversity and Fisher Information
Gaining an insight into the potential effectiveness of Multiple Kernel Learning (MKL) methods requires analysis of the underlying ensemble process and resulting loss. An attempt to suggest such directions is described in this work which presents some preliminary results based on the “Flat Maximum Effect” and decompositions of the loss which leads to MKL problem being recast as one of optimal De...
متن کاملPreliminary Beneficiation and Washability Studies on Ghouzlou's Low-Ash Coal Sample
In the present research work, a low-ash coal, from Ghouzlou deposit in Iran, with an average ash content of 12% was subjected to some beneficiation experiments such as heavy media separation and flotation. Sieve analysis showed that 62.3% of the coal sample with the size of +2 mm had around 7.3% ash contents. Also, heavy media tests carried out on five size fractions revealed that by setting th...
متن کاملA Software Library for Elliptic Curve Cryptography
We present an implementation of an EC cryptographic library targeting three main objectives: portability, modularity, and ease of use. Our goal is to provide a fully-equipped library of portable source code with clearly separated modules that allows for easy development of EC cryptographic protocols, and which can be readily tailored to suit different requirements and user needs. We discuss sev...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1106.1862 شماره
صفحات -
تاریخ انتشار 2011